tipos, teoría de los

tipos, teoría de los
En lógica, teoría introducida por Bertrand Russell y Alfred North Whitehead en sus Principia Mathematica (1910–13) para abordar las paradojas lógicas que nacen del uso irrestricto de las funciones proposicionales como variables.

El tipo de una función proposicional está determinado por el número y el tipo de sus argumentos (las distintas variables que contiene). Al no permitir que las funciones proposicionales se apliquen a argumentos de igual o de más alto tipo, se evitan las contradicciones dentro del sistema.

Enciclopedia Universal. 2012.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • Teoría de los actos de habla — La teoría de los actos de habla es una de las primeras teorías en pragmática de la filosofía del lenguaje. Su formulación original se debe a John Langshaw Austin en su obra póstuma Cómo hacer cosas con palabras . Contenido 1 Actos de habla 1.1… …   Wikipedia Español

  • Teoría de los sistemas bioquímicos — En este artículo sobre ciencia se detectaron los siguientes problemas: Necesita ser wikificado conforme a las convenciones de estilo de Wikipedia. Carece de fuentes o referencias que aparezcan en una fuente acreditada. Es huérfano, porque ningún… …   Wikipedia Español

  • Fondo y génesis de la teoría de los topos — Saltar a navegación, búsqueda Esta página presenta de modo amplio la idea matemática de los topos. Ésta es una rama de la teoría de categorías, y tiene reputación de ser abstrusa. El nivel de abstracción involucrado no se puede reducir más allá… …   Wikipedia Español

  • Teoría — (Del gr. theoria, contemplación.) ► sustantivo femenino 1 Conjunto organizado de ideas o leyes que sirven para explicar determinado orden de fenómenos: ■ defiende la teoría del big bang . SINÓNIMO doctrina 2 Conocimiento especulativo considerado… …   Enciclopedia Universal

  • Tipos Psicológicos — Saltar a navegación, búsqueda Tipos Psicológicos es el título del sexto volumen de la Obra Completa de Carl Gustav Jung. La traducción directa del alemán al castellano de la Obra Completa está siendo elaborada por la Fundación Carl Gustav Jung de …   Wikipedia Español

  • Tipos psicológicos — (en alemán Psychologische Typen) es una obra de Carl Gustav Jung publicada inicialmente por Rascher Verlag, Zúrich, en 1921. Se corresponde al sexto volumen de su obra completa. En ella desarrolla sus ideas sobre la existencia de dos «actitudes»… …   Wikipedia Español

  • Teoría de la gravitación de Le Sage — La Teoría de la gravitación de Le Sage, referida también con el nombre de teoría cinética de la gravitación fue concebida originariamente por Nicolas Fatio de Duillier en 1690 y desarrollada ulteriormente por Georges Louis Le Sage en 1748. La… …   Wikipedia Español

  • Teoría de juegos — La teoría de juegos es un área de la matemática aplicada que utiliza modelos para estudiar interacciones en estructuras formalizadas de incentivos (los llamados juegos) y llevar a cabo procesos de decisión. Sus investigadores estudian las… …   Wikipedia Español

  • Teoría de lenguajes de programación — Lambda en minúsculas. La teoría de lenguajes de programación es una rama de la informática que se encarga del diseño, implementación, análisis, caracterización y clasificación de lenguajes de programación y sus características. Es un campo multi… …   Wikipedia Español

  • Teoría de subasta — Esta página o sección está siendo traducida del idioma inglés a partir del artículo Auction theory, razón por la cual puede haber lagunas de contenidos, errores sintácticos o escritos sin traducir. Puedes colaborar con Wikipedia …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”